1. Dag Prawitz on proofs and meaning /
پدیدآورنده : Heinrich Wansing, editor
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع : Logic design.,Logic, Symbolic and mathematical.,Logic.,Philosophy.,Logics and Meanings of Programs.,Mathematical Logic and Foundations.,Philosophy.
رده :
BC71
2. Essays on Non-Classical Logic
پدیدآورنده : \ Editor Heinrich Wansing
کتابخانه: کتابخانه زبانهای خارجی و منابع اسلامی (قم)
موضوع : Nonclassical mathematical logic.,Tense (Logic),Negation (Logic)
رده :
E-Book
,
3. Essays on non-classical logic
پدیدآورنده : editor, Heinrich Wansing
کتابخانه: کتابخانه مرکزی دانشگاه یاسوج (محمد بهمن بیگی) (کهگیلویه و بویراحمد)
موضوع : Nonclassical mathematical logic,Tense (Logic),Negation (Logic)
رده :
511
,.
3
,
E77
,
2001
4. Essays on non-classical logic
پدیدآورنده : editor, Heinrich Wansing
کتابخانه: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه فردوسی مشهد (خراسان رضوی)
موضوع : ، Nonclassical mathematical logic,، Tense )Logic(,، Negation )Logic(
رده :
QA
9
.
4
.
E77
2001
5. Essays on non-classical logic
پدیدآورنده : editor, Heinrich Wansing
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع : ، Nonclassical mathematical logic,، Tense )Logic(,، Negation )Logic(
رده :
QA
9
.
4
.
E83
